Nuprl Definition : frequency 0,22

frequency(f;x) ~ (p/q) == mk:j:k<j & |#{i<j|f i eq x}/j - p/q| < 1/m 
latex



clarification:

frequency(eq;f;x;p;q) == m:k:j:k<j & |#{i<j|f i eq x}/j - p/q| < 1/m 
latex


Definitionsx:AB(x), x:AB(x), , A & B, a<b, |a/b - p/q| < 1/m, #{i<j|f i eq x}
FDL editor aliasesfrequency

origin